翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Architecture Analysis & Design Language : ウィキペディア英語版
Architecture Analysis & Design Language
The Architecture Analysis & Design Language (AADL) is an architecture description language standardized by SAE.〔(Architecture Analysis and Design Language ), Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, Pennsylvania, USA.〕 AADL was first developed in the field of avionics, and was known formerly as the Avionics Architecture Description Language.〔(Detailed presentation of AADL )〕
The Architecture Analysis & Design Language is derived from MetaH, an architecture description language made by the Advanced Technology Center of Honeywell. AADL is used to model the software and hardware architecture of an embedded, real-time system. Due to its emphasis on the embedded domain, AADL contains constructs for modeling both software and hardware components (with the hardware components named "execution platform" components within the standard). This architecture model can then be used either as a design documentation, for analyses (such as schedulability and flow control) or for code generation (of the software portion), like UML.
== AADL eco-system ==
AADL is defined by a core language that defines a single notation for both system and software aspects. Having a single model ease the analysis tools by having only one single representation of the system. The language specifies system-specific characteristics using properties.
The language can be extended with the following methods:
* user-defined properties: user can extend the set of applicable properties and add their own to specify their own requirements
* language annexes: the core language is enhanced by annex languages that enrich the architecture description. For now, the following annexes have been defined.
*
* Behavior annex: add components behavior with state machines
*
* Error-model annex: specifies fault and propagation concerns
*
* ARINC653 annex: defines modelling patterns for modelling avionics system
*
* Data-Model annex: describes the modelling of specific data constraint with AADL

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Architecture Analysis & Design Language」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.